from itertools import starmap,izip_longest,permutations,product

def brac(num,op):
    mkexp=lambda num,op: ''.join(starmap(str.__add__,izip_longest(num,op,fillvalue='')))
    num=list(num)
    
    yield mkexp(num,op)

    for left in range(3):
        for right in range(left+1,4):
            Nnum=num[:]
            Nnum[left]='('+Nnum[left]
            Nnum[right]=Nnum[right]+')'

            yield mkexp(Nnum,op)

            for right1 in range(right+1,4):
                for left1 in range(4):
                    if (left1>left)and(left1<=right) or (left1>=right): continue

                    Nnum[left1]='('+Nnum[left1]
                    Nnum[right1]=Nnum[right1]+')'

                    yield mkexp(Nnum,op)

def solve(nums):
    ops=product('+-*/',repeat=3)
    nums=map('{}.0'.format,nums)

    for (op,num) in product(ops,permutations(nums)):
        for exp in brac(num,op):

            try:
                if abs(eval(exp)-24)<0.001:
                    print exp.replace('.0',''),'=',24
                    return 
            except:
                pass

nums=map(int,raw_input().split(' '))
solve(nums)

